On the Classical Content of Monadic G∼ and its Application to a Fuzzy Medical Expert System
نویسندگان
چکیده
The satisfiability problem for monadic infinite-valued Gödel logic is known to be undecidable. We identify a fragment of this logic extended with strong negation whose satisfiability is not only decidable but it is decidable within classical logic. We use this fragment to formalize the rules of CADIAG-2, a well performing fuzzy expert system assisting in the differential diagnosis in internal medicine. A (classical) satisfiability check of the resulting formulas allowed the detection of some errors in the rules of the system.
منابع مشابه
A Fuzzy Expert System & Neuro-Fuzzy System Using Soft Computing For Gestational Diabetes Mellitus Diagnosis
Gestational diabetes mellitus (GDM) is a kind of diabetes that requires persistent medical care in patient self management education to prevent acute complications. One of the common and main problems in diagnosis of the diabetes is the weakness in its initial stages of the illness. This paper intends to propose an expert system in order to diagnose the risk of GDM by using FIS model. The knowl...
متن کاملA Fuzzy Expert System & Neuro-Fuzzy System Using Soft Computing For Gestational Diabetes Mellitus Diagnosis
Gestational diabetes mellitus (GDM) is a kind of diabetes that requires persistent medical care in patient self management education to prevent acute complications. One of the common and main problems in diagnosis of the diabetes is the weakness in its initial stages of the illness. This paper intends to propose an expert system in order to diagnose the risk of GDM by using FIS model. The knowl...
متن کاملPREDICTING URBAN TRIP GENERATION USING A FUZZY EXPERT SYSTEM
One of the most important stages in the urban transportation planning procedure is predicting the rate of trips generated by each trac zone. Currently, multiple linear regression models are frequently used as a prediction tool. This method predicts the number of trips produced from, or attracted to each trac zone according to the values of independent variables for that zone. One of the main li...
متن کاملDesigning an Expert System for Credit Rating of Real Customers of Banks Using Fuzzy Neural Networks
Currently, in Iran's banking system, non-repayment of facilities has become one of the biggest issues, and due to the lack of a proper system for proper allocation of facilities, they face a number of problems, including the problem of allocation of loans, the problem of failure to repay loans Of the central bank, or the amount of facilities increased from the amount of reimbursement. The solut...
متن کاملA Fuzzy Expert System for Diagnosis of Acute Lymphocytic Leukemia in Children
Fuzzy expert systems are one of the most practical intelligent models with the high potential for managing uncertainty associated to the medical diagnosis. In this paper, a fuzzy inference system (FIS) for diagnosing of acute lymphocytic leukemia in children has been introduced. The fuzzy expert system applies Mamdani reasoning model that has high interpretability to explain system results to e...
متن کامل